$\forall$$T$:Type, $L$, ${\it L'}$:($T$ List). no\_repeats($T$;$L$) $\Rightarrow$ ${\it L'}$ $\subseteq$ $L$ $\Rightarrow$ no\_repeats($T$;${\it L'}$)